From Haar to Lebesgue via Domain Theory, Revised version
نویسندگان
چکیده
If C ≃ 2 is the Cantor set realized as the infinite product of two-point groups, then a folklore result says the Cantor map from C into [0, 1] sends Haar measure to Lebesgue measure on the interval. In fact, C admits many distinct topological group structures. In this note, we show that the Haar measures induced by these distinct group structures all share this property. We prove this by showing that Haar measure for any group structure is the same as Haar measure induced by a related abelian group structure. Moreover, each abelian group structure on C supports a natural total order that determines a map onto the unit interval that is monotone, and hence sends intervals in C to subintervals of the unit interval. Using techniques from domain theory, we show this implies this map sends Haar measure on C to Lebesgue measure on the interval, and we then use this to contract a Borel isomorphism between any two group structures on C.
منابع مشابه
Solving infinite horizon optimal control problems of nonlinear interconnected large-scale dynamic systems via a Haar wavelet collocation scheme
We consider an approximation scheme using Haar wavelets for solving a class of infinite horizon optimal control problems (OCP's) of nonlinear interconnected large-scale dynamic systems. A computational method based on Haar wavelets in the time-domain is proposed for solving the optimal control problem. Haar wavelets integral operational matrix and direct collocation method are utilized to find ...
متن کاملA Property of the Haar Measure of Some Special LCA Groups
The Euclidean group (Rn,+) where (n?N, plays a key role in harmonic analysis. If we consider the Lebesgue measure ()nd?xR as the Haar measure of this group then 12(2)()nd?x=d?RR. In this article we look for LCA groups K, whose Haar measures have a similar property. In fact we will show that for some LCA groups K with the Haar measure K?, there exists a constant such that 0KC>()(2)KKK?A=C?A for ...
متن کاملMeasure Theory
These are some brief notes on measure theory, concentrating on Lebesgue measure on Rn. Some missing topics I would have liked to have included had time permitted are: the change of variable formula for the Lebesgue integral on Rn; absolutely continuous functions and functions of bounded variation of a single variable and their connection with Lebesgue-Stieltjes measures on R; Radon measures on ...
متن کاملHaar-like wavelets defined over tetrahedrical grids - Computer Science Society, 2000. Proceedings. XX International Conference of the Chilean
In this paper we systematically define Haar-like wavelets over a tetrahedrical grid which is generated b y a regular subdivision method. These wavelets form an inconditional basis for LJ'(T,C,p), 1 < p < 00 , being p the Lebesgue measure and C the U-algebra of all tetrahedra generated from a tetrahedron T by the chosen subdivision method.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1504.00134 شماره
صفحات -
تاریخ انتشار 2015